time (./recompile && ./inst)
